Note on an ALGOL 60 Compiler for Pegasus I

Some validation tests for an Algol 60 compiler

This report contains details of over 100 Algol 60 test programs available from NPL which can be used to validate a compiler. Interpreting the results of the tests requires a good knowledge of Algol 60.

A note on the structure of certain predicates concerning the sublanguages of ALGOL 60

Note on Algol and Conservatively Extending Functional Programming

A simple Idealized Algol is considered, based on Reynolds's \essence of Algol." It is shown that observational equivalence in this language conservatively extends observational equivalence in its assignment-free functional sublanguage.

Pegasus: An Efficient Intermediate Representation

We present Pegasus, a compact and expressive intermediate representation for imperative languages. The representation is suitable for target architectures supporting predicated execution and aggressive speculation. In Pegasus information about the global dataflow of the program is encoded in local structures, enabling compact and efficient algorithms for program optimizations. As a proof of the...

PEGASUS: A Spoken Language Interface for On-Line Air Travel Planning I

This paper describes PEGASUS, a spoken language interface for on-line air travel planning that we have recently developed. PEGASUS leverages off our spoken language technology development in the ATIS domain, and enables users to book flights using the American Airlines EAASY SABRE system. The input query is transformed by the speech understanding system to a frame representation that captures i...